teorth/analysisA Lean companion to Analysis ILanguage: LeanStars: 248 Issues: 0 Forks: 29https://github.com/teorth/analysis

GitHub repos

teorth/analysis
A Lean companion to Analysis I
Language: Lean
Stars: 248 Issues: 0 Forks: 29
https://github.com/teorth/analysis

GitHub

GitHub - teorth/analysis: A Lean companion to Analysis I

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

www.tg-me.com/ms/GitHub repos/com.github_repos/11878

1.3K viewsJun 2 at 10:00

tg-me.com/github_repos/11878

Create: 2025-06-02
Last Update: 2025-06-14 08:19:29

teorth/analysis
A Lean companion to Analysis I
Language: Lean
Stars: 248 Issues: 0 Forks: 29
https://github.com/teorth/analysis

BY GitHub repos

Share with your friend now:
tg-me.com/github_repos/11878

GitHub repos Telegram | DID YOU KNOW?

How Does Telegram Make Money?

Telegram is a free app and runs on donations. According to a blog on the telegram: We believe in fast and secure messaging that is also 100% free. Pavel Durov, who shares our vision, supplied Telegram with a generous donation, so we have quite enough money for the time being. If Telegram runs out, we will introduce non-essential paid options to support the infrastructure and finance developer salaries. But making profits will never be an end-goal for Telegram.